Atlas occipital decompression lateral joint release combined with occipital-neck fusion